(2.2.1) Computational complexity of the sort - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)